$\forall$${\it as}$, ${\it bs}$, ${\it cs}$:Top List. ((${\it as}$ @ ${\it bs}$) @ ${\it cs}$) $\sim$ (${\it as}$ @ ${\it bs}$ @ ${\it cs}$)